Term rewrite system